VDict mobile



atomic literals not found. Suggestions:

literal
Horn clause
International Atomic Time
atomic
SLD resolution
M2toM3
model checking
transaction
first-order logic
pi-calculus